SpySMAC

Run with best incumbent examples/spear_qcp_small/example_output_1 Cutoff 5
# Train instances 10 Walltime budget 50
# Test instances 10 Runcount budget inf
# Parameters 26 CPU budget inf
Deterministic False
Default Incumbent
-------------- Changed parameters: -------------- ----- -----
sp-clause-activity-inc 1 1.03619
sp-clause-decay 1.4 1.80047
sp-clause-del-heur 2 0
sp-first-restart 100 503
sp-learned-clause-sort-heur 0 5
sp-learned-clauses-inc 1.3 1.44637
sp-learned-size-factor 0.4 0.212442
sp-orig-clause-sort-heur 0 2
sp-phase-dec-heur 5 4
sp-rand-var-dec-freq 0.001 0.005
sp-resolution 1 0
sp-restart-inc 1.5 1.44486
sp-use-pure-literal-rule 1 0
sp-var-activity-inc 1 1.38284
sp-var-dec-heur 0 8
sp-variable-decay 1.4 1.39724
sp-max-res-lit-inc 1 inactive
sp-max-res-runs 4 inactive
sp-rand-phase-dec-freq 0.001 0.0001
sp-rand-var-dec-scaling 1 0.370268
sp-res-cutoff-cls 8 inactive
sp-res-cutoff-lits 400 inactive
sp-res-order-heur 0 inactive
sp-rand-phase-scaling 1 1.04195
-------------- Unchanged parameters: -------------- ----- -----
sp-update-dec-queue 1 1
Default Incumbent
Train Test Train Test
PAR10 5.53 0.863 0.016 0.012
PAR1 1.03 0.863 0.016 0.012
Timeouts 1/10 0/10 0/10 0/10
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
-------------------- Single importance: -------------------- --------------------
sp-orig-clause-sort-heur 0.54577
sp-var-dec-heur 0.105148
-------------------- Pairwise importance: -------------------- --------------------
sp-orig-clause-sort-heur & sp-var-dec-heur 0.707765
sp-orig-clause-sort-heur & sp-learned-clause-sort-heur 0.632042
sp-orig-clause-sort-heur & sp-phase-dec-heur 0.590886
sp-orig-clause-sort-heur & sp-var-activity-inc 0.56143
sp-var-dec-heur & sp-learned-clause-sort-heur 0.154267
sp-var-dec-heur & sp-phase-dec-heur 0.149012
sp-var-dec-heur & sp-var-activity-inc 0.121864
sp-phase-dec-heur & sp-learned-clause-sort-heur 0.0689301
sp-phase-dec-heur & sp-var-activity-inc 0.0564599
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Error
cl_featuretime 2.783539
ls_saps_featuretime 2.802348
saps_FirstLocalMinStep_CoeffVariance 2.816797
saps_FirstLocalMinStep_Mean 2.788278
Plot